1. Advanced topics in artificial intelligence :
پدیدآورنده: V[ladimír] Mařík, O[lga] Štěpánová, R[obert] Trappl (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: logično programiranje.,računalništvo.,umetna inteligenca.
رده :
Q334
.
V533
1992


2. Advances in Artifical Intelligence :
پدیدآورنده: edited by Gordon McCalla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996


3. Advances in artificial intelligence :
پدیدآورنده: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018


4. Applications and Science in Soft Computing
پدیدآورنده: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Decision making.,Operations research.

5. Artificial Intelligence:
پدیدآورنده: edited by Christoph Bussler, Dieter Fensel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.,Information systems.

6. Constraint Solving and Language Processing
پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

7. Constraint solving and language processing
پدیدآورنده: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
رده :
QA
76
.
612
.
C637
2005


8. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438


9. Distributed Environments :
پدیدآورنده: edited by Yutaka Ohno, Toshiko Matsuda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
76
.
D47
E358
1991


10. Logic Programming '89 :
پدیدآورنده: edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991


11. Logic programming :
پدیدآورنده: Sandro Etalle, Mirosław Truszczyński (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programmation logique -- Congrès.

12. PRICAI 2000 :
پدیدآورنده: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
